141. Advances in logic, artificial intelligence and robotics
Author: / edited by Jair Minoro Abe and Jo?uo In??cio da Silva Filho
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Artificial intelligence--Congresses,Logic, Symbolic and mathematical--Congresses,Robotics--Congresses
Classification :
Q
,
334
,.
C684
,
2002
142. Advances in logic, artificial intelligence, and robotics :
Author: edited by Jair Minoro Abe and João Inácio da Silva Filho.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.
Classification :
Q334
.
C69
2002eb
143. Advances in logic, artificial intelligence and robotics: LAPTEC 2002
Author: edited by Jair Minoro Abe and Joao Inacio da Silva Filho
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Artificial intelligence -- Congresses,، Logic, symbolic and mathematical - Congresses,، Robotics -- Congresses
Classification :
Q
334
.
A39
144. Advances in logic artificial intelligence and robotics LAPTEC 2002
Author:
Library: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
Subject: Artisicial intelligence - Congresses,Logic, Symbolic and mathematical - Congresses
Classification :
{
1648
},
a10532fac62a75b806461958d7dac762
145. Advances in logic based intelligent systems
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Artificial intelligence Congresses,Logic, Symbolic and mathematical Congresses
Classification :
Q
،
334
،.
C69
،
2005
146. Advances in logic based intelligent systems :
Author: edited by Kazumi Nakamatsu and Jair Minoro Abe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
Classification :
Q334
.
C69
2005
147. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
Author: Su Gao, Steve Jackson, Yi Zhang, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1N67
2004
148. Advances in technological applications of logical and intelligent systems :
Author: edited by Germano Lambert-Torres ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses
149. After Godel : Platonism and rationalism in mathematics and logic
Author: Richard Tieszen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
Classification :
QA
9
.
T53A34
150. After Gغodel :Platonism and rationalism in mathematics and logic
Author: Tieszen, Richard L.
Library: Library of Mofid University (Qom)
Subject: ، Gغodel, Kurt,، Logic, Symbolic and mathematical
Classification :
QA9
.
T54
2011
151. Agent-Based Defeasible Control in Dynamic Environments.
Author: Dov M Gabbay
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.
Classification :
Q339
.
D686
2010
152. Alan Turing :
Author: edited by S. Barry Cooper and Jan van Leeuwen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
Classification :
QA29
.
T8
C65
2013
153. Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
154. Alfred Tarski
Author: / Anita Burdman Feferman, Solomon Feferman
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Tarski, Alfred,Logic, Symbolic and mathematical,Logicians- United States- Biography
Classification :
QA29
.
T32
,
F44
2004
155. Alfred Tarski: life and logic
Author: Feferman, Anita Burdman.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Tarski, Alfred,، Logic, Symbolic and mathematical,United States -- Biography ، Logicians
Classification :
QA
29
.
T32
F44
2008
156. Alfred Tarski: life and logic
Author: Feferman, Anita Burdman
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians-- United States
Classification :
QA
29
.
T32
.
F44
2004
157. Alfred Tarski : life and logic
Author: Anita Burdman Feferman, Solomon Feferman
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians -- United States
Classification :
QA
29
.
T32F43
158. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
Author: Delaram Kahrobaei, Bren Cavallo, David Garber, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
Classification :
QA
9
.
A1A42
159. Algebra and logic
Author: / edited by J. N. Crossley
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses,Algebra -- Congresses,Group theory -- Congresses,Commutative rings -- Congresses
Classification :
QA
9
.
A4
1975
160. Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Author: edited by J. N. Crossley
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
Classification :
QA
3
.
L28
Vol
.
450
